Pointer analysis - PDFSEARCH.IO - Document Search Engine

Pointer analysis
Results: 174

#	Item
81	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
82	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
83	System Checkpointing using Reflection and Program Analysis John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:44 Garbage collection Java Reflection C Pointer Serialization Computing Cross-platform software Application checkpointing
84	[CLIENT] Crash Dump Analysis Report The following report offers insight and root-cause analysis for a specific, client-provided crash scenario. [CLIENT] Crash Dump Analysis Report Add to Reading List Source URL: www.osr.com Language: English - Date: 2014-04-09 15:47:02 Pointer Microsoft Windows MOV Paging Computer programming Memory management Computer architecture Computing
85	A structured approach to proving compiler optimizations based on dataflow analysis Yves Bertot1 , Benjamin Gr´egoire2 , and Xavier Leroy3 1 Projet Marelle, INRIA Sophia-Antipolis, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-07-28 04:46:05 Programming language implementation Compiler construction Procedural programming languages Source code Compiler optimization Pointer Compiler C Stack Computing Software engineering Computer programming
86	TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia Add to Reading List Source URL: manu.sridharan.net Language: English - Date: 2015-03-03 14:08:09 Abstract data types Cross-platform software Procedural programming languages Static program analysis Program slicing Software maintenance Priority queue Pointer C Computing Software engineering Programming language theory
87	Lecture 10 Pointer Analysis 1. Datalog 2. Context-insensitive, flow-insensitive pointer analysis 3. Context sensitivity Readings: Chapter 12 Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:49 Data types Procedural programming languages Compiler construction Pointer Datalog Compiler C Data-flow analysis Void type Software engineering Computing Computer programming
88	Dytan: A Generic Dynamic Taint Analysis Framework James Clause, Wanchun Li, and Alessandro Orso College of Computing Georgia Institute of Technology {clause\|wli7\|orso}@cc.gatech.edu Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2007-07-12 05:25:09 Computer programming Data-flow analysis Pointer Application security SQL Buffer overflow Dataflow Taint checking Computing Software engineering Computer security
89	Compositional Pointer and Escape Analysis for Multithreaded Java Programs Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:56 Graph Parallel computing Lock Monitor Power graph analysis Topology Graph theory Mathematics Concurrency control
90	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory